352 results on '"Ricca, Francesco"'
Search Results
2. Compilation of Tight ASP Programs
3. Unit Testing in ASP Revisited: Language and Test-Driven Development Environment
4. Degradation-aware data-enabled predictive control of energy hubs
5. A Direct ASP Encoding for Declare
6. Towards ILP-Based $$\text {LTL}_\text {f}$$ Passive Learning
7. Unit Testing in ASP Revisited: Language and Test-Driven Development Environment
8. Neuro-Symbolic AI for Compliance Checking of Electrical Control Panels
9. An efficient solver for ASP(Q)
10. Enumeration of Minimal Models and MUSes in WASP
11. A Neural-Machine-Translation System Resilient to Out of Vocabulary Words for Translating Natural Language to SPARQL
12. Modelling the Outlier Detection Problem in ASP(Q)
13. Solving Problems in the Polynomial Hierarchy with ASP(Q)
14. Smart Devices and Large Scale Reasoning via ASP: Tools and Applications
15. Pinpointing Axioms in Ontologies via ASP
16. Deep Learning for the Generation of Heuristics in Answer Set Programming: A Case Study of Graph Coloring
17. Reducing the impact of out of vocabulary words in the translation of natural language questions into SPARQL queries
18. Testing in ASP: Revisited Language and Programming Environment
19. Neuro-Symbolic AI for Compliance Checking of Electrical Control Panels
20. ASP and subset minimality: Enumeration, cautious reasoning and MUSes
21. A Direct ASP Encoding for Declare
22. Towards ILP-Based Passive Learning
23. SPARQL-QA-v2 system for Knowledge Base Question Answering
24. ASP-Based Declarative Reasoning in Data-Intensive Enterprise and IoT Applications
25. Reasoning over Ontologies with DLV
26. Proceedings 36th International Conference on Logic Programming (Technical Communications)
27. Autonomous clocks that regulate organelle biogenesis, cytoskeletal organization, and intracellular dynamics
28. ASP-Core-2 Input Language Format
29. Partial Compilation of ASP Programs
30. Better Paracoherent Answer Sets with Less Resources
31. Beyond NP: Quantifying over Answer Sets
32. Paracoherent Answer Set Semantics meets Argumentation Frameworks
33. Evaluation of Disjunctive Programs in WASP
34. Ontology: Introduction
35. Knowledge and Reasoning
36. Algorithm Selection for Paracoherent Answer Set Computation
37. A Logic-Based Question Answering System for Cultural Heritage
38. Enhancing DLV for Large-Scale Reasoning
39. Solving Problems in the Polynomial Hierarchy with ASP(Q)
40. Enumeration of Minimal Models and MUSes in WASP
41. Pinpointing Axioms in Ontologies via ASP
42. Deep Learning for the Generation of Heuristics in Answer Set Programming: A Case Study of Graph Coloring
43. A Neural-Machine-Translation System Resilient to Out of Vocabulary Words for Translating Natural Language to SPARQL
44. Smart Devices and Large Scale Reasoning via ASP: Tools and Applications
45. Modelling the Outlier Detection Problem in ASP(Q)
46. The Seventh Answer Set Programming Competition: Design and Results
47. The External Interface for Extending WASP
48. Debugging Non-Ground ASP Programs: Technique and Graphical Tools
49. A REST-Based Development Framework for ASP: Tools and Application
50. Proceedings 38th International Conference on Logic Programming
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.